divers rescued a whale